首页> 外文OA文献 >A General Approach to the Verification of Cryptographic Protocols using Answer Set Programming

【2h】

A General Approach to the Verification of Cryptographic Protocols using Answer Set Programming

机译：使用答案集编程验证密码协议的通用方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
James P. Delgr; Torsten Grote; Aaron Hunter;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An approach to the formal verification of the three-principal cryptographic protocols [J] . Yuqing ZHANG, Xiuying LIU Operating systems review . 2004,第1期

机译：正式验证三原则密码协议的方法
2. Security Verification of Real-Time Cryptographic Protocols Using a Rewriting Approach [J] . Takehiko TANAKA, Yuichi KAJI IEICE Transactions on Information and Systems . 1998,第4期

机译：使用重写方法对实时密码协议进行安全性验证
3. Business process verification with constraint temporal answer set programming [J] . LAURA GIORDANO, ALBERTO MARTELLI, MATTEO SPIOTTA, Theory and Practice of Logic Programming . 2013,第pta4a5期

机译：具有约束时间答案集编程的业务流程验证
4. A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming [C] . James P. Delgrande, Torsten Grote, Aaron Hunter Logic programming and nonmonotonic reasoning . 2009

机译：使用答案集编程验证密码协议的通用方法
5. An Answer Set Programming Based Approach to Representing and Querying Textual Knowledge [D] . Pendharkar, Dhruva Rajan. 2018

机译：基于答案集编程的表示和查询文本知识的方法
6. Repairing Boolean logical models from time-series data using Answer Set Programming [O] . Alexandre Lemos, Inês Lynce, Pedro T. Monteiro 2019

机译：使用答案集编程从时间序列数据修复布尔逻辑模型
7. The Coinductive Approach to Verifying Cryptographic Protocols [O] . Jesse Hughes, Martijn Warnier 2002

机译：验证密码协议的同源方法
8. Formal Verification of Cryptographic Protocols: A Survey. [R] . Meadows, C. A. 1995

机译：密码协议的形式验证：一项调查。

A General Approach to the Verification of Cryptographic Protocols using Answer Set Programming

著录项

引文网络

相似文献

相关主题

期刊订阅